4261. Using sophisticated models in resolution theorem proving
Author: Sandford, David M.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Automatic theorem proving,، Mathematics - Data processing
Classification :
QA
76
.
L4
v
.
90
4262. Using the Frechet derivative to improve Arnoldi's method
Author: H.-A. Sun
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied sciences,Computer science,Mathematics,Mathematics,Pure sciences
4263. VR, simulations and serious games for education /
Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
Classification :
LB1044
.
87
4264. Vacation queueing models :
Author: Naishou Tian, Zhe George Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Queuing theory.,Affaires.,Economie de l'entreprise.,Queuing theory.,Queuing theory.,Science économique.
Classification :
T57
.
9
.
T49
2006eb
4265. Value functions in control systems and differential games : A viability method
Author: Plaskacz, Slawomir
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Control theory,، Differential games,، Hamilton-Jacobi equations,، Nonlinear functional analysis
Classification :
QA
402
.
3
.
P56V2
4266. Van Nostrand's scientific encyclopedia
Author: Douglas M. Considine, editor; Glenn D. Considine, managing editor
Library: Central Library and Documentation Center (Kerman)
Subject: Encyclopedias ، Science,Encyclopedias ، Engineering
Classification :
Q
121
.
V3
1995
4267. Van Nostrand's scientific encyclopedia
Author:
Library: Library of factualty of psychology and Education (Tehran)
Subject: Science - Dictionaries
Classification :
Q
,
121
, .
V3
R
4268. Van Nostrand's scientific encyclopedia
Author:
Library: Library of Economics (Tehran)
Subject: Science-Dictionaries
Classification :
Q
121
.
V3
1968
R
4269. Van Nostrand's scientific encyclopedia: Aeronautics, astronomy, biochemistry, botany, chemical engineering, chemistry, civil engineering, computer technology, electrical engineering, electronics, geology, guided missiles, mathematics, mechanical engineering, medicine, metallurgy, meteorology, mineralogy, navigation, nuclear science and engineering, photoelectronics, photography, physics, planetary exploration, radio and television, rocketry, space travel, statistics, zoology
Author:
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Science- Dictionaries
Classification :
503
V217
Ed
.
4
4270. Van Nostrand's scientific encyclopedia: aeronautics, astronomy, biochemistry, botany, chemical engineering, chemistry, civil engineering, computer technology, electrical engineering, electronics, geology, guided missiles, mathematics, mechanical engineering, medicine, metallurgy, meteorology, mineralogy, navigation, nuclear science and engineering, pho
پدیدآورنده :
موضوع : Dictionaries ، Science
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
4271. Variation Principle in Informational Macrodynamics
Author: by Vladimir S. Lerner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.
4272. Variational, geometric, and level set methods in computer vision : third International Workshop, VLSM 2005, Beijing, China, October 16, 2005 : proceedings
Author: Nikos Paragios...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer vision,Methodology -- Congresses ، Computer vision,Congresses ، Image processing -- Digital techniques
Classification :
QA
76
.
L28
Vol
.
3752
4273. Variations on constants
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel programming (Computer science) ; Sequential processing (Computer science) ; Mathematical constants. ; Variables (Mathematics) ; Computer programs ; Correctness. ; Constantes (Math?matiques) ; Logiciels ; Exactitude. ; Programmation parall?le (Inf
4274. Variations on constants
Author: / Markus M?�ller-Olm
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness
Classification :
QA
,
76
.
642
,.
M85
,
2006
4275. Vector analysis for computer graphic
Author: / John Vince
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer graphics--Mathematics,Vector analysis.
Classification :
T
,
385
,.
V5663
,
2007
4276. Vector game math processors
Author: / James Leiterman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
Classification :
QA76
.
5
.
L446
2003
4277. Vector game math processors
Author: James Leiterman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
Classification :
QA76
.
5
.
L446
2003eb
4278. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
4279. Verification of computer codes in computational science and engineering
Author: Knupp, Patrick M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Numerical calculations-- Verification,، Differential equations, Partial-- Numerical solutions
Classification :
QA
297
.
K575
2003
4280. Verification of computer codes in computational science and engineering
Author: Knupp, Patrick M.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Numerical calculations -- Verification,، Differential equations, Partial -- Numerical solutions
Classification :
QA
297
.
K59V46
